*\input basic
 (basic.TEX 1 2 3 4)
*\hbox par 320pt{\hangindent 15pt{
*the use of the FOL evaluator which does some simple ``theorem proving''
*based on the combined use of syntactic, semantic and sort information.
*}}
! Too much stretch for proper line breaking.
(*) }}

↑x
No output file.